COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	cs226[f82,jmc]		Notes for cs226 for winter 1983
C00004 00003	The course will be based on readings, mostly but not entirely my
C00005 ENDMK
C⊗;
cs226[f82,jmc]		Notes for cs226 for winter 1983

References:

Modelling change - the frame problem, Lars-Erik Janlert, May 1981

Planning Mental Actions, Andrew Haas, July 1982
TR 106, Computer Scieece Department, University of Rochester

Moore, Robert C. and Hendrix, Gary G. Computational Models of Belief
and Semantics of Belief Sentences. Tech. Note 187, SRI International 1979.

Newell's Presidential address

Nilsson's pro-logic paper

Something about Prolog

David Smith's paper

MRS?

my papers
Programs with Common sense

Some Philosophical Problems

First order theories of individual concepts and propositions

Ascribing Mental Qualities to Machines

Circumscription - A method of non-monotonic reasoning


The course will be based on readings, mostly but not entirely my
papers.  There will be a paper a week, sometimes a paper per meeting.
I may provide some written commentary as well.

Besides this, there will be some fooling with axiom systems in
expressed in EKL.  An axiom system for set theory and a
simple EKL proof.  Is Ramsey's theorem still too hard?

MRS use?

I'd really like a problem solver.

What about Prolog?

Points of view of Newell, Simon and Nilsson.